Search results for "DNA automaton"

showing 2 items of 2 documents

Arithmetical Analysis of Biomolecular Finite Automaton

2013

In the paper we present a theoretical analysis of extension of the finite automaton built on DNA (introduced by the Shapiro team) to an arbitrary number of states and symbols. In the implementation we use a new idea of several restriction enzymes instead of one. We give arithmetical conditions for the existence of such extensions in terms of ingredients used in the implementation.

Algebra and Number TheoryContinuous automatonPushdown automatonBüchi automatonBiomolecular computerTheoretical Computer ScienceDNA automatonDNA computingAlgebraElementary cellular automatonDeterministic finite automatonComputational Theory and MathematicsDeterministic automatonProbabilistic automatonTwo-way deterministic finite automatonInformation SystemsMathematicsFundamenta Informaticae
researchProduct

Theory of tailor automata

2019

Abstract In the paper, a fragment of the new theory of tailor automata is presented, within which a deterministic finite automaton was defined. The proposed automaton provides a theoretical model of an informally characterized biomolecular automaton. The idea of working of which is founded on the concept of alternating cut of some double-stranded fragments of DNA, with the use of a restriction enzyme and ligations of some double-stranded fragments of DNA, with the use of the ligase enzyme.

Discrete mathematicschemistry.chemical_classificationQuantitative Biology::BiomoleculesDNA ligaseGeneral Computer ScienceComputer scienceQuantitative Biology::Molecular Networks0102 computer and information sciences02 engineering and technologyDNA automatonBiomolecular computerDNA computingNonlinear Sciences::Cellular Automata and Lattice Gases01 natural sciencesTheoretical Computer ScienceAutomatonRestriction enzymeDeterministic finite automatonFragment (logic)chemistry010201 computation theory & mathematics0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingComputer Science::Formal Languages and Automata TheoryTheoretical Computer Science
researchProduct